mine pumping - German English Dictionary